Thesis for the Degree of Licentiate of Philosophy
نویسندگان
چکیده
This thesis describes a number of practical experiments rather than theoretical investigations in the area of natural language processing. The basis for the work presented is Grammatical Framework (GF). It is a very complex system, which comprises among other things a grammar formalism based on type theory and its implementation written in Haskell. GF is intended for high-quality machine translation (of INTERLINGUA type) in the restricted language domains. The primary concern of this thesis is however limited to the usage of GF as a piece of software. The main results are: • Implementing a syntax editor, which provides a graphical user interface (GUI) for the command-line GF core. • Writing a part of code for automatic generation of gramlets — pure Java programs with limited (compared to GF) functionality that can be run on PDA (Portable Device Assistants) and as applets in a browser. • Writing the Russian resource grammar that takes care of the most basic morphological and syntactic rules and serves as a standard library for building application grammars (describing restricted language domains) in Russian. These results contribute to language engineering in GF on two different levels: • Author level (end-user) — constructing sentences in natural languages. • Grammarian level — building a grammar description, which is later used on the author level. The last part of the thesis deals with a non-linguistic domain. In that experiment we try to apply functional parsing technique to the well-known problem of protein secondary structure prediction (bioinformatics).
منابع مشابه
Thesis for the Degree of Licentiate of Philosophy
In this paper we prove two di erent generalizations of Kummer's Lemma that describes when a unit of a cyclotomic eld is a p-th power of another unit. One of these results is then used to prove a theorem about the Picard group of the integer group ring ZC, where C is a cyclic group of prime power order. The theorem was rst proved by Kervaire and Murthy; we use a more elementary method to reprove...
متن کاملThesis for the Degree of Licentiate of Engineering
..................................................................................................... i Acknowledgments ................................................................................... iii
متن کاملA Comparative Study of the Defense of Nursing PhD Thesis in Iran and Top United States Universities
Background : The most important event in the doctoral course is the completion and defense of the dissertation, which leads to learning and improving the necessary skills to conduct research and improve performance in the field. Evaluating a doctoral dissertation defense program helps to identify the strengths and weaknesses of this process. Therefore, this comparative study has investigated th...
متن کاملTHESIS FOR THE DEGREE OF LICENTIATE OF ENGINEERING Functionalization and Characterization of Carbon-based Nanomaterials
.......................................................................................................... I List of Publications ....................................................................................... II Chapter
متن کاملThe theory of observation Logico-historical philosophy of as a transformative theory of sciences
Innovation and evolution in sciences needs to its own logical methodology. This paper, considering the necessity of evolution in sciences, has intended to establish a theory called the theory of observation. It would be counted as a model for the philosophies of with a logico-historical approach. Following the purpose, the author has explained technical terms such as research method, theory,...
متن کامل